| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m16c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP8W/3D85595 | |||
| Repositório | sid.inpe.br/mtc-m18/2012/12.17.11.29 | |||
| Última Atualização | 2012:12.17.11.29.13 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m18/2012/12.17.11.29.13 | |||
| Última Atualização dos Metadados | 2022:03.17.16.24.15 (UTC) administrator | |||
| Chave de Citação | SantosSantVija:2012:FoVeUM | |||
| Título | Formal verification of UML-based software  | |||
| Formato | On-line. | |||
| Ano | 2012 | |||
| Data de Acesso | 07 maio 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 230 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Santos, Luciana Brasil Rebelo dos 2 Santiago Júnior, Valdivino Alexandre de 3 Vijaykumar, Nandamudi Lankalapalli | |||
| Grupo | 1 2 CEA-CEA-INPE-MCTI-GOV-BR 3 LAC-CTE-INPE-MCTI-GOV-BR | |||
| Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Editor | Castro, Ana Paula Abrantes de Shiguemori, Élcio Hideiti Ramos, Fernando Manuel | |||
| Endereço de e-Mail | lurebelo@gmail.com | |||
| Nome do Evento | Workshop dos Cursos de Computação Aplicada do INPE, 12 (WORCAP). | |||
| Localização do Evento | São José dos Campos | |||
| Data | 6-8 nov. 2012 | |||
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Cidade da Editora | São José dos Campos | |||
| Título do Livro | Anais | |||
| Organização | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Histórico (UTC) | 2013-01-16 17:09:08 :: lurebelo@gmail.com -> administrator :: 2012 2022-03-17 16:24:15 :: administrator -> simone :: 2012 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | formal verification Model Checking UML SOLIMVA methodology | |||
| Resumo | ABSTRACT: Formal Verification methods, such as Model Checking, are best applied in early stages of system design, when costs are low and benefits can be high, increasing the quality of systems, when they are completed. The Unified Modeling Language - (UML) is currently accepted as the de facto standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. This work describes how UML diagrams created in the early phases of software development, such as sequence, activity, state machines (variation of Harels Statecharts) diagrams, can be transformed into a finite-state model to support Model Checking of UML-based software. The results of this work will improve SOLIMVA, a methodology initially developed to generate model-based system and acceptance test cases considering Natural Language requirements artifacts. | |||
| Área | COMP | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > WORCAP > Formal verification of... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Formal verification of... | |||
| Arranjo 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > Formal verification of... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP8W/3D85595 | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/3D85595 | |||
| Idioma | en | |||
| Arquivo Alvo | worcap2012_submission_23 - Luciana Brasil Rebelo dos Santos.pdf | |||
| Grupo de Usuários | lurebelo@gmail.com | |||
| Visibilidade | shown | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGP8W/38ELNHL 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3EU2FR5 | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.01.23.29 3 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||